<html>
<head><meta charset="utf-8"><title>meeting 2020.06.01 · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html">meeting 2020.06.01</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199416082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416082">(Jun 01 2020 at 20:05)</a>:</h4>
<p>hi <span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span>, react with <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> to show you're around</p>



<a name="199416219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416219">(Jun 01 2020 at 20:06)</a>:</h4>
<p>the idea was to discuss how to improve our process</p>



<a name="199416256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416256">(Jun 01 2020 at 20:07)</a>:</h4>
<p>how well we think the async things we are doing work</p>



<a name="199416272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416272">(Jun 01 2020 at 20:07)</a>:</h4>
<p>how well or bad our sync weekly meeting works</p>



<a name="199416289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416289">(Jun 01 2020 at 20:07)</a>:</h4>
<p>what kind of ideas do we have to improve our process</p>



<a name="199416321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416321">(Jun 01 2020 at 20:07)</a>:</h4>
<p>that's the idea, so, I guess we can start by commeting briefly on what is it working, maybe?</p>



<a name="199416382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416382">(Jun 01 2020 at 20:08)</a>:</h4>
<p>I think overall it's going well!</p>



<a name="199416416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416416">(Jun 01 2020 at 20:08)</a>:</h4>
<p>I think it's having a positive effect on the compiler triage meeting as well.</p>



<a name="199416420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416420">(Jun 01 2020 at 20:08)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="199416435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416435">(Jun 01 2020 at 20:08)</a>:</h4>
<p>maybe let me rephrase things better</p>



<a name="199416500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416500">(Jun 01 2020 at 20:09)</a>:</h4>
<p>I'd change well or bad with things that are helping us or working well and things that could be improved</p>



<a name="199416607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416607">(Jun 01 2020 at 20:10)</a>:</h4>
<p>any other thought about what's helping the team and in general the weekly main meeting?</p>



<a name="199416619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416619">(Jun 01 2020 at 20:10)</a>:</h4>
<p>I think async prioritization goes really well too</p>



<a name="199416632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416632">(Jun 01 2020 at 20:10)</a>:</h4>
<p>one thing I'd add is that I think the ... what <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> has said :)</p>



<a name="199416642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416642">(Jun 01 2020 at 20:10)</a>:</h4>
<p>maybe it needs a bit of structure, but otherwise it is fine</p>



<a name="199416647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416647">(Jun 01 2020 at 20:10)</a>:</h4>
<p>It doesn't take a lot of time for the members here</p>



<a name="199416664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416664">(Jun 01 2020 at 20:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199416642">said</a>:</p>
<blockquote>
<p>maybe it needs a bit of structure, but otherwise it is fine</p>
</blockquote>
<p>say more?</p>



<a name="199416670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416670">(Jun 01 2020 at 20:11)</a>:</h4>
<p>And still gets the job done IMO</p>



<a name="199416710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416710">(Jun 01 2020 at 20:11)</a>:</h4>
<p>currently for some issues, someone proposes one of the labels, it doesn't get marked for a long time</p>



<a name="199416762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416762">(Jun 01 2020 at 20:12)</a>:</h4>
<p>while for some issues, someone proposes and it is marked instantly and removed for prioritisation so some uniformity would  makes things better <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="199416787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416787">(Jun 01 2020 at 20:12)</a>:</h4>
<p>right, I'd say that once we have 2 people saying this is <code>P-whatever</code> someone can just go an apply the label</p>



<a name="199416802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416802">(Jun 01 2020 at 20:12)</a>:</h4>
<p>in any case we can keep discussion and re-label</p>



<a name="199416833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416833">(Jun 01 2020 at 20:12)</a>:</h4>
<p>that's one idea but I general at some point I go over all the zulip discussions I didn't participate and check what happened</p>



<a name="199416860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416860">(Jun 01 2020 at 20:12)</a>:</h4>
<p>if people are saying <code>P-medium</code> and I agree I just add the label :)</p>



<a name="199416944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199416944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199416944">(Jun 01 2020 at 20:13)</a>:</h4>
<p>maybe in future it would be nice if we could label it from the zulip conversation</p>



<a name="199417001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417001">(Jun 01 2020 at 20:14)</a>:</h4>
<p>I agree and I think there were plans for this in triagebot?</p>



<a name="199417006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417006">(Jun 01 2020 at 20:14)</a>:</h4>
<p>but in general feel free to take ownership, things will be reviewed anyway at some point, at least I can promise that I'm going to review all the <code>I-prioritize</code>, whatever me reviewing means :P</p>



<a name="199417009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417009">(Jun 01 2020 at 20:14)</a>:</h4>
<p>Shouldn't be too hard I think</p>



<a name="199417053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417053">(Jun 01 2020 at 20:14)</a>:</h4>
<p>24 hours seems a good time to  get consensus on ? if something is  unlabelled 24h after opening i'll add it accordingly</p>



<a name="199417059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417059">(Jun 01 2020 at 20:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199416944">said</a>:</p>
<blockquote>
<p>maybe in future it would be nice if we could label it from the zulip conversation</p>
</blockquote>
<p>I agree with this, mainly because it's nice to add also a brief text and link to the discussion</p>



<a name="199417121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417121">(Jun 01 2020 at 20:15)</a>:</h4>
<p>I think we can add a todo somewhere</p>



<a name="199417172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417172">(Jun 01 2020 at 20:15)</a>:</h4>
<p>unsure what do you guys prefer but I guess for now I can use <a href="https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ">this doc</a></p>



<a name="199417173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417173">(Jun 01 2020 at 20:15)</a>:</h4>
<p>Another small improvement may be to rename topics once prioritization is removed</p>



<a name="199417175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417175">(Jun 01 2020 at 20:16)</a>:</h4>
<p>I can open an issue on triagebot, maybe?</p>



<a name="199417269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417269">(Jun 01 2020 at 20:16)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199417175">said</a>:</p>
<blockquote>
<p>I can open an issue on triagebot, maybe?</p>
</blockquote>
<p>this is great and agree, let's open an issue, although a problem this doesn't solve is where do we look at all the pending things we have?</p>



<a name="199417291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417291">(Jun 01 2020 at 20:17)</a>:</h4>
<p>what was more or less the intention I have with the doc but a document for this is far from ideal :)</p>



<a name="199417323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417323">(Jun 01 2020 at 20:17)</a>:</h4>
<p>We could maybe have a "meta-topic" somewhere? I don't really know how practical that would be</p>



<a name="199417334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417334">(Jun 01 2020 at 20:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199417173">said</a>:</p>
<blockquote>
<p>Another small improvement may be to rename topics once prioritization is removed</p>
</blockquote>
<p>this is also a good idea, maybe we can replace <code>I-prioritize</code> with <code>P-high</code>, <code>P-medium</code>, etc</p>



<a name="199417424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417424">(Jun 01 2020 at 20:18)</a>:</h4>
<p>well I guess we are more or less done with what's working nice?</p>



<a name="199417435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417435">(Jun 01 2020 at 20:18)</a>:</h4>
<p>let's jump into what could be improved?</p>



<a name="199417469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417469">(Jun 01 2020 at 20:19)</a>:</h4>
<p>I can for now add some things into that document until we define something better to use</p>



<a name="199417498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417498">(Jun 01 2020 at 20:19)</a>:</h4>
<p>let's jump into the improving things part :)</p>



<a name="199417538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417538">(Jun 01 2020 at 20:19)</a>:</h4>
<p>I have a bunch but want to hear from others first :)</p>



<a name="199417544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417544">(Jun 01 2020 at 20:19)</a>:</h4>
<p>not really the process we do, but what happens to an issue if a PR to fix it is already opened? During triaging there seems to be some confusion regarding this</p>



<a name="199417704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417704">(Jun 01 2020 at 20:21)</a>:</h4>
<p>I’m sometimes confused by what we’re supposed to do, I mean I d really like to help, but I feel like I don’t always understand if something / what is expected.<br>
It’s the main reason why I wanted to focus on something specific like for example draining an unprioritized issue queue</p>



<a name="199417823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417823">(Jun 01 2020 at 20:22)</a>:</h4>
<p>Not sure if my comment is actually something we can act on though ^^’</p>



<a name="199417842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417842">(Jun 01 2020 at 20:22)</a>:</h4>
<p>well don't be afraid to be wrong :P</p>



<a name="199417856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417856">(Jun 01 2020 at 20:22)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199417544">said</a>:</p>
<blockquote>
<p>not really the process we do, but what happens to an issue if a PR to fix it is already opened? During triaging there seems to be some confusion regarding this</p>
</blockquote>
<p>I'd assign a priority anyway, unsure if I got the question right though :)</p>



<a name="199417896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417896">(Jun 01 2020 at 20:23)</a>:</h4>
<p>Well I tend to lower the priority if there’s already an open pr like “let’s not focus on that “</p>



<a name="199417914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417914">(Jun 01 2020 at 20:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="218578">o0Ignition0o - Jeremy Lempereur</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199417704">said</a>:</p>
<blockquote>
<p>I’m sometimes confused by what we’re supposed to do, I mean I d really like to help, but I feel like I don’t always understand if something / what is expected.<br>
It’s the main reason why I wanted to focus on something specific like for example draining an unprioritized issue queue</p>
</blockquote>
<p>I'd say feel free to ask questions and if you want we can talk in private and I can try helping you</p>



<a name="199417969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199417969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199417969">(Jun 01 2020 at 20:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="218578">o0Ignition0o - Jeremy Lempereur</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199417896">said</a>:</p>
<blockquote>
<p>Well I tend to lower the priority if there’s already an open pr like “let’s not focus on that “</p>
</blockquote>
<p>this is an interesting discussion and mainly if there's confusion, my take is ... let's ignore the PR existance</p>



<a name="199418022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418022">(Jun 01 2020 at 20:24)</a>:</h4>
<p>mainly because a PR may take time to land</p>



<a name="199418036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418036">(Jun 01 2020 at 20:24)</a>:</h4>
<p>conflicts</p>



<a name="199418043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418043">(Jun 01 2020 at 20:24)</a>:</h4>
<p>reviews</p>



<a name="199418045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418045">(Jun 01 2020 at 20:24)</a>:</h4>
<p>etc</p>



<a name="199418055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418055">(Jun 01 2020 at 20:24)</a>:</h4>
<p>the question is: what do we do if a pr is already open to fix the issue? <br>
A] label as usual,<br>
B] lower it<br>
C} don't nominate it</p>
<p>just want to ensure we all are on the same page</p>



<a name="199418095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418095">(Jun 01 2020 at 20:24)</a>:</h4>
<p>if it is really <code>P-critical</code> and we miss the release it will be bad</p>



<a name="199418173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418173">(Jun 01 2020 at 20:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199418055">said</a>:</p>
<blockquote>
<p>the question is: what do we do if a pr is already open to fix the issue? <br>
A] label as usual,<br>
B] lower it<br>
C} don't nominate it</p>
<p>just want to ensure we all are on the same page</p>
</blockquote>
<p>I'd go with just A</p>



<a name="199418191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418191">(Jun 01 2020 at 20:25)</a>:</h4>
<p>I think we should do A, as sometimes PRs don't pan out and we may end up forgetting important issues</p>



<a name="199418216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418216">(Jun 01 2020 at 20:25)</a>:</h4>
<p>it may be nominated if the PR needs to be discussed or may affect something</p>



<a name="199418332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418332">(Jun 01 2020 at 20:26)</a>:</h4>
<p>ok seems like we are on the same page :)</p>



<a name="199418349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418349">(Jun 01 2020 at 20:26)</a>:</h4>
<p>what else do we feel can be improved?</p>



<a name="199418627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418627">(Jun 01 2020 at 20:28)</a>:</h4>
<p>in my opinion the main meeting per se</p>



<a name="199418661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418661">(Jun 01 2020 at 20:28)</a>:</h4>
<p>I think it's right now sub-optimal</p>



<a name="199418694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418694">(Jun 01 2020 at 20:28)</a>:</h4>
<p>I have to admit</p>



<a name="199418698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418698">(Jun 01 2020 at 20:28)</a>:</h4>
<p>it feels a lot "robotic" and one-person show at the moment rather than a group effort <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="199418703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418703">(Jun 01 2020 at 20:28)</a>:</h4>
<p>Well we’re basically all watching you move stuff around :D</p>



<a name="199418714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418714">(Jun 01 2020 at 20:29)</a>:</h4>
<p>I have wondered if we need a label for "has-pr"</p>



<a name="199418759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418759">(Jun 01 2020 at 20:29)</a>:</h4>
<p>github already puts a little note next to the link to the pr, saying "this PR will close this issue when it is merged"</p>



<a name="199418811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418811">(Jun 01 2020 at 20:29)</a>:</h4>
<p>but that isn't reflected in the metadata for the issues themselves (i.e. the labels)</p>



<a name="199418816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418816">(Jun 01 2020 at 20:29)</a>:</h4>
<p>it also lists the PRs linked to that issue</p>



<a name="199418826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418826">(Jun 01 2020 at 20:29)</a>:</h4>
<p>but there's no way to filter by it</p>



<a name="199418859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418859">(Jun 01 2020 at 20:30)</a>:</h4>
<p>so its just hard to track these details down quickly</p>



<a name="199418978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418978">(Jun 01 2020 at 20:30)</a>:</h4>
<p>I guess these are separate but related problems: what to do with an issue when a PR to fix it gets opened (but not merged), <em>and</em> how to quickly determine if an issue is in that state</p>



<a name="199418986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199418986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199418986">(Jun 01 2020 at 20:30)</a>:</h4>
<p>I’m afraid it might get out of sync if a pr gets closed or something :/</p>



<a name="199419004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419004">(Jun 01 2020 at 20:31)</a>:</h4>
<p>that's also a fair problem.</p>



<a name="199419085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419085">(Jun 01 2020 at 20:31)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199418698">said</a>:</p>
<blockquote>
<p>it feels a lot "robotic" and one-person show at the moment rather than a group effort :)</p>
</blockquote>
<p>yes this is not what we want and I know we are suffering this problem</p>



<a name="199419135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419135">(Jun 01 2020 at 20:32)</a>:</h4>
<p>correct me if I'm wrong, but currently, wg-prioritization does not do a weekly review of all the P-high issues, correct?</p>



<a name="199419172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419172">(Jun 01 2020 at 20:32)</a>:</h4>
<p>we don't review all P-high rn</p>



<a name="199419191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419191">(Jun 01 2020 at 20:32)</a>:</h4>
<p>(back in the day, such a review was part of the weekly pre-triage. but then I become overwhelmed as the pile of P-high issues grew too large to review in a short sitting)</p>



<a name="199419193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419193">(Jun 01 2020 at 20:32)</a>:</h4>
<p>yeah we don't do a group review</p>



<a name="199419214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419214">(Jun 01 2020 at 20:32)</a>:</h4>
<p>I check them to see if there's something we need to nominate</p>



<a name="199419225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419225">(Jun 01 2020 at 20:32)</a>:</h4>
<p>in my ideal world, wg-prioritization (or <em>some</em> team/wg) would be able to do such a review</p>



<a name="199419226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419226">(Jun 01 2020 at 20:32)</a>:</h4>
<p>but that's not a group effort</p>



<a name="199419241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419241">(Jun 01 2020 at 20:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199419225">said</a>:</p>
<blockquote>
<p>in my ideal world, wg-prioritization (or <em>some</em> team/wg) would be able to do such a review</p>
</blockquote>
<p>yes</p>



<a name="199419245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419245">(Jun 01 2020 at 20:33)</a>:</h4>
<p>of course having a lead do it would suffice</p>



<a name="199419262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419262">(Jun 01 2020 at 20:33)</a>:</h4>
<p>I wonder if  it is possible that if a PR is closed and the issue is marked P-* then the issue is automatically re-requested for prioritisation (a bit of work getting this implemented though)</p>



<a name="199419291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419291">(Jun 01 2020 at 20:33)</a>:</h4>
<p>as long as such a review is happening, then presumably the issue of a <code>has-pr</code> label going out of sync would not be a problem for P-high and P-critical isues</p>



<a name="199419296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419296">(Jun 01 2020 at 20:33)</a>:</h4>
<p>just P-medium or below ones</p>



<a name="199419312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419312">(Jun 01 2020 at 20:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199419245">said</a>:</p>
<blockquote>
<p>of course having a lead do it would suffice</p>
</blockquote>
<p>yeah but I guess we want to do a group effort in general</p>



<a name="199419317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419317">(Jun 01 2020 at 20:33)</a>:</h4>
<p>so that's something to improve</p>



<a name="199419390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419390">(Jun 01 2020 at 20:34)</a>:</h4>
<p>/me is once again distracted by a child and must go afk again</p>



<a name="199419467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419467">(Jun 01 2020 at 20:34)</a>:</h4>
<p>RE: the meeting. I think <span class="user-mention" data-user-id="120823">@DPC</span> mentioned that would it would nice if we could divide up some of the work and potentially do it concurrently</p>



<a name="199419470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419470">(Jun 01 2020 at 20:34)</a>:</h4>
<p>so about things to do in general I'd say that we need to change all the individual procedures for team efforts</p>



<a name="199419484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419484">(Jun 01 2020 at 20:35)</a>:</h4>
<p>That would give us meeting time to do other things</p>



<a name="199419508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419508">(Jun 01 2020 at 20:35)</a>:</h4>
<p>and I think we want to get rid of the meeting</p>



<a name="199419537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419537">(Jun 01 2020 at 20:35)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125250">Wesley Wiser</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199419484">said</a>:</p>
<blockquote>
<p>That would give us meeting time to do other things</p>
</blockquote>
<p>yes</p>



<a name="199419559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419559">(Jun 01 2020 at 20:35)</a>:</h4>
<p>my idea is to move most of the efforts async</p>



<a name="199419576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419576">(Jun 01 2020 at 20:35)</a>:</h4>
<p>and maybe have bi-weekly meetings like this one :)</p>



<a name="199419621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419621">(Jun 01 2020 at 20:36)</a>:</h4>
<p>more oriented to strategy, planning, etc</p>



<a name="199419852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419852">(Jun 01 2020 at 20:38)</a>:</h4>
<p>do we agree on a strategy like that?</p>



<a name="199419920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419920">(Jun 01 2020 at 20:38)</a>:</h4>
<p>I meant, move most stuff async, automate most stuff and have periodic planning/steering meetings</p>



<a name="199419923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199419923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199419923">(Jun 01 2020 at 20:38)</a>:</h4>
<p>FYI, opened <a href="https://github.com/rust-lang/triagebot/issues/591">triagebot#591</a></p>



<a name="199420193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420193">(Jun 01 2020 at 20:41)</a>:</h4>
<p>by seeing the <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span>s I guess we do agree</p>



<a name="199420234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420234">(Jun 01 2020 at 20:41)</a>:</h4>
<p>so, I think we can talk about how to make that happen</p>



<a name="199420334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420334">(Jun 01 2020 at 20:42)</a>:</h4>
<p>i have cc'd the wg on the pr</p>



<a name="199420353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420353">(Jun 01 2020 at 20:42)</a>:</h4>
<p>we have this up <a href="https://github.com/rust-lang/triagebot/pull/579">https://github.com/rust-lang/triagebot/pull/579</a></p>



<a name="199420378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420378">(Jun 01 2020 at 20:42)</a>:</h4>
<p>which helps a bit in automation of what is currently happening in the meeting</p>



<a name="199420389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420389">(Jun 01 2020 at 20:42)</a>:</h4>
<p>but that needs to be run by someone</p>



<a name="199420409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420409">(Jun 01 2020 at 20:43)</a>:</h4>
<p>and does everything at one run</p>



<a name="199420416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420416">(Jun 01 2020 at 20:43)</a>:</h4>
<p>which is not what we want</p>



<a name="199420448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420448">(Jun 01 2020 at 20:43)</a>:</h4>
<p>but I guess we can keep improving by taking small steps :)</p>



<a name="199420544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420544">(Jun 01 2020 at 20:44)</a>:</h4>
<p>maybe it's worth discussing a bit what we are doing right now</p>



<a name="199420562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420562">(Jun 01 2020 at 20:44)</a>:</h4>
<p>most of the stuff can be seen starting here <a href="https://hackmd.io/pHb6eTZ2Sjy6XZmwXZHIBA#Pre-triage">https://hackmd.io/pHb6eTZ2Sjy6XZmwXZHIBA#Pre-triage</a></p>



<a name="199420584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420584">(Jun 01 2020 at 20:44)</a>:</h4>
<p>prioritizing <code>Unprioritized I-prioritize</code> is already done async</p>



<a name="199420637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420637">(Jun 01 2020 at 20:45)</a>:</h4>
<p><code>Regressions</code> part is also async, we are getting closer with stable to stable ones</p>



<a name="199420759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420759">(Jun 01 2020 at 20:46)</a>:</h4>
<p>I think anyway most of the things needs to be done close to the meeting date, so we could do something async but it needs to happen on tuesday</p>



<a name="199420832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420832">(Jun 01 2020 at 20:47)</a>:</h4>
<p>maybe instead of having a sync meeting what we could do is start one zulip topic per section of the document and do what's needed but taking the whole day in an async way to do that</p>



<a name="199420840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420840">(Jun 01 2020 at 20:47)</a>:</h4>
<p>does something like that sounds reasonable?</p>



<a name="199420868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420868">(Jun 01 2020 at 20:47)</a>:</h4>
<p>Absolutely</p>



<a name="199420891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420891">(Jun 01 2020 at 20:47)</a>:</h4>
<p>ok, that's one part</p>



<a name="199420952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199420952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199420952">(Jun 01 2020 at 20:48)</a>:</h4>
<p>the other two parts are ... 1. what do we do with nominations?</p>



<a name="199421020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421020">(Jun 01 2020 at 20:48)</a>:</h4>
<p>maybe we can automate also nominations, we could also create a topic for nominations</p>



<a name="199421075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421075">(Jun 01 2020 at 20:49)</a>:</h4>
<p>and our missing there is to check if we should add the nomination to the agenda and we need to bring a small summary about each nominated item</p>



<a name="199421141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421141">(Jun 01 2020 at 20:49)</a>:</h4>
<p>Having a standardized set of questions might help to structure things?</p>



<a name="199421217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421217">(Jun 01 2020 at 20:50)</a>:</h4>
<p>what needs to be done when something is nominated?</p>



<a name="199421252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421252">(Jun 01 2020 at 20:50)</a>:</h4>
<p>For what we should write in that summary</p>



<a name="199421285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421285">(Jun 01 2020 at 20:50)</a>:</h4>
<p>it will be checking if the nomination if for T-compiler</p>



<a name="199421300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421300">(Jun 01 2020 at 20:51)</a>:</h4>
<p>Mhh, nevermind, I don't think that would help, in the end</p>



<a name="199421307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421307">(Jun 01 2020 at 20:51)</a>:</h4>
<p>sometimes we have a nomination and labels for t-compiler and t-lang</p>



<a name="199421328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421328">(Jun 01 2020 at 20:51)</a>:</h4>
<p>it may be nominated for t-lang and not t-compiler</p>



<a name="199421330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421330">(Jun 01 2020 at 20:51)</a>:</h4>
<p>then yeah we can have a separate zulip thread for each</p>



<a name="199421337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421337">(Jun 01 2020 at 20:51)</a>:</h4>
<p>so first we need to check that</p>



<a name="199421350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421350">(Jun 01 2020 at 20:51)</a>:</h4>
<p>and then come up with a little summary on why is it nominated and some key info</p>



<a name="199421363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421363">(Jun 01 2020 at 20:51)</a>:</h4>
<p>the idea is to make <span class="user-mention" data-user-id="116083">@pnkfelix</span> life easier during the meeting</p>



<a name="199421431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421431">(Jun 01 2020 at 20:52)</a>:</h4>
<p>if we do not provide a summary he needs to figure out a lot of things live</p>



<a name="199421440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421440">(Jun 01 2020 at 20:52)</a>:</h4>
<p>basically he would need to completely read the issue</p>



<a name="199421483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421483">(Jun 01 2020 at 20:52)</a>:</h4>
<p>the idea would be that with the summary compiler members may want to read the issue anyway but they will have a clear overview about what's going on</p>



<a name="199421561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421561">(Jun 01 2020 at 20:53)</a>:</h4>
<p>for instance ...</p>



<a name="199421563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421563">(Jun 01 2020 at 20:53)</a>:</h4>
<ul>
<li>"Incorrect non-exhaustive pattern error" <a href="https://github.com/rust-lang/rust/issues/72476">#72476</a><ul>
<li>It is also a regression.<br>
    - supposedly injected by <a href="https://github.com/rust-lang/rust/pull/71930">PR #71930</a><br>
    - (assign to Nadrieril?)<br>
    - Has <a href="https://github.com/rust-lang/rust/pull/72506">an open PR</a> that likely will fix the issue.</li>
<li>Rejects valid code.</li>
<li>Really quickly detected (2 days).</li>
<li>Seems to be a problem when pattern matching on structs/enums which contain a projection.</li>
</ul>
</li>
</ul>



<a name="199421785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421785">(Jun 01 2020 at 20:54)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199420952">said</a>:</p>
<blockquote>
<p>the other two parts are ... 1. what do we do with nominations?</p>
</blockquote>
<p>back to this, I'd say we should create a zulip topic and try to come up with all this information and conclusions</p>



<a name="199421816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421816">(Jun 01 2020 at 20:55)</a>:</h4>
<p>same happens with <code>P-critical</code> issues</p>



<a name="199421833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421833">(Jun 01 2020 at 20:55)</a>:</h4>
<p>we need to add a summary</p>



<a name="199421855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421855">(Jun 01 2020 at 20:55)</a>:</h4>
<p>i think that's a good start because it gives a clear picture of what happens when something is nominated or not and how can we improve on it later</p>



<a name="199421880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421880">(Jun 01 2020 at 20:55)</a>:</h4>
<p>we seem to clearly need to document all this too :)</p>



<a name="199421938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421938">(Jun 01 2020 at 20:56)</a>:</h4>
<p>in part that's what the procedure is about</p>



<a name="199421948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421948">(Jun 01 2020 at 20:56)</a>:</h4>
<p>(same thing with priotisation - once we split it into threads it made things really clear for me)</p>



<a name="199421949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421949">(Jun 01 2020 at 20:56)</a>:</h4>
<p>the procedure is a document</p>



<a name="199421993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421993">(Jun 01 2020 at 20:56)</a>:</h4>
<p>well it s a bit related to the prio document i started working on, i d love to push it through and land it somewhere</p>



<a name="199421997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199421997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199421997">(Jun 01 2020 at 20:56)</a>:</h4>
<p>but now that we have the script, the procedure could be just a document that helps understanding what we need to do and looks less like pasteable info</p>



<a name="199422065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422065">(Jun 01 2020 at 20:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="218578">o0Ignition0o - Jeremy Lempereur</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199421993">said</a>:</p>
<blockquote>
<p>well it s a bit related to the prio document i started working on, i d love to push it through and land it somewhere</p>
</blockquote>
<p>yeah, please open a PR in forge and cc this group</p>



<a name="199422176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422176">(Jun 01 2020 at 20:57)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199420952">said</a>:</p>
<blockquote>
<p>the other two parts are ... 1. what do we do with nominations?</p>
</blockquote>
<p>I've said this was two parts, part 2 is reviewing <code>P-high</code> as <span class="user-mention" data-user-id="116083">@pnkfelix</span> has mentioned</p>



<a name="199422335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422335">(Jun 01 2020 at 20:58)</a>:</h4>
<p>anyway, we may want to quickly come up with some actionable things</p>



<a name="199422343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422343">(Jun 01 2020 at 20:59)</a>:</h4>
<p>there are some zulip ideas</p>



<a name="199422377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422377">(Jun 01 2020 at 20:59)</a>:</h4>
<p>is someone willing to work on some of those?</p>



<a name="199422411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422411">(Jun 01 2020 at 20:59)</a>:</h4>
<p>I would like to continue pushing the meeting automation forward</p>



<a name="199422427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422427">(Jun 01 2020 at 20:59)</a>:</h4>
<p>the main script</p>



<a name="199422600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422600">(Jun 01 2020 at 21:00)</a>:</h4>
<p>time is up, maybe what we should do is reserve some time from tomorrow's meeting to make a plan out of this discussion?</p>



<a name="199422621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422621">(Jun 01 2020 at 21:00)</a>:</h4>
<p>how do we create threads for each section? manually? :P</p>



<a name="199422674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422674">(Jun 01 2020 at 21:01)</a>:</h4>
<p>AUTOMATION!</p>



<a name="199422731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422731">(Jun 01 2020 at 21:01)</a>:</h4>
<p>I'd love if we can say ... @triagebot prioritization start</p>



<a name="199422740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422740">(Jun 01 2020 at 21:01)</a>:</h4>
<p>isn't the meetings on wednesdays? :P</p>



<a name="199422770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422770">(Jun 01 2020 at 21:01)</a>:</h4>
<p>and have that opening 7 zulip topics, creating the blank agenda and all that :)</p>



<a name="199422776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422776">(Jun 01 2020 at 21:01)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116122">@simulacrum</span> <span aria-label="innocent" class="emoji emoji-1f607" role="img" title="innocent">:innocent:</span></p>



<a name="199422872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422872">(Jun 01 2020 at 21:02)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199422740">said</a>:</p>
<blockquote>
<p>isn't the meetings on wednesdays? :P</p>
</blockquote>
<p>yes, I was talking about our meeting which is tomorrow, just in case</p>



<a name="199422909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199422909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199422909">(Jun 01 2020 at 21:02)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199422770">said</a>:</p>
<blockquote>
<p>and have that opening 7 zulip topics, creating the blank agenda and all that :)</p>
</blockquote>
<p>we could slowly turn my "script" into this</p>



<a name="199423032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423032">(Jun 01 2020 at 21:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/meeting.202020.2E06.2E01/near/199422600">said</a>:</p>
<blockquote>
<p>time is up, maybe what we should do is reserve some time from tomorrow's meeting to make a plan out of this discussion?</p>
</blockquote>
<p>does this sound good or something?</p>



<a name="199423043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423043">(Jun 01 2020 at 21:03)</a>:</h4>
<p>I guess with 20 minutes we could get this sorted</p>



<a name="199423170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423170">(Jun 01 2020 at 21:04)</a>:</h4>
<p>I think we should do so</p>



<a name="199423176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423176">(Jun 01 2020 at 21:04)</a>:</h4>
<p>I'm going to add some of the ideas from this topic into the master document and I guess we could see if there's a way to assign some of this work tomorrow maybe?</p>



<a name="199423224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423224">(Jun 01 2020 at 21:04)</a>:</h4>
<p>sure</p>



<a name="199423242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423242">(Jun 01 2020 at 21:04)</a>:</h4>
<p>but I also believed the wg-prioritization meeting to be in 2 days <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="199423267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423267">(Jun 01 2020 at 21:04)</a>:</h4>
<p>oh sorry you're both right :)</p>



<a name="199423310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423310">(Jun 01 2020 at 21:05)</a>:</h4>
<p>it's on wednesday, sorry sorry and <span class="user-mention" data-user-id="120823">@DPC</span> was right too</p>



<a name="199423317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423317">(Jun 01 2020 at 21:05)</a>:</h4>
<p><span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="199423350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423350">(Jun 01 2020 at 21:05)</a>:</h4>
<p>so yeah, on wednesday during that meeting :)</p>



<a name="199423356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423356">(Jun 01 2020 at 21:05)</a>:</h4>
<p>I was about to say "timezones" x)</p>



<a name="199423375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423375">(Jun 01 2020 at 21:05)</a>:</h4>
<p>hehe</p>



<a name="199423447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423447">(Jun 01 2020 at 21:06)</a>:</h4>
<p>i'm okay with that</p>



<a name="199423852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199423852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199423852">(Jun 01 2020 at 21:09)</a>:</h4>
<p>anything else we need to discuss or we are calling this meeting closed? :D</p>



<a name="199552277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199552277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199552277">(Jun 02 2020 at 20:56)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> as a follow up of this meeting, I've created some tasks that I think we should accomplish</p>



<a name="199552287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199552287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199552287">(Jun 02 2020 at 20:56)</a>:</h4>
<p>added all that here <a href="https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ?both#Tasks">https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ?both#Tasks</a></p>



<a name="199552311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199552311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199552311">(Jun 02 2020 at 20:56)</a>:</h4>
<p>the new ones are ...</p>



<a name="199552312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199552312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199552312">(Jun 02 2020 at 20:56)</a>:</h4>
<ul>
<li>[Santiago] Make a proposal of an async process and have bi-weekly planning/steering meetings to think about things to improve.<ul>
<li>start one zulip topic per section of our procedure document and we can work on each section async during the whole day maybe.</li>
</ul>
</li>
<li>[Santiago] Document our process, make our existing procedure more like our documentation.<ul>
<li>We can turn it into something that explains a bit more what we need to do now that the script is more about the procedure.</li>
</ul>
</li>
<li>Create a topic per nominations and PRs waiting on team<ul>
<li>create a topic once an issue is nominated/PR waiting on team.</li>
<li>send a text with directives on what to do on every nomination or PR waiting on team that is like ...<ul>
<li>Sanity check if the nomination/pr waiting is really for T-compiler/libs-impl</li>
<li>We want to add them to the agenda with some basic information about why the issue was nominated/waiting, what's the status, etc</li>
</ul>
</li>
</ul>
</li>
<li>Create a topic per P-critical and P-high regressions<ul>
<li>create a topic once an issue is tagged with P-critical/P-high regression.</li>
<li>send a text with directives on what to do on every one of them like ...<ul>
<li>Ping appropriate people and/or ICE-breakers.</li>
<li>Assign if possible; if it remains unassigned, add it to agenda so we can assign during the meeting.</li>
<li>Check if there are relevant issues that are worth raising awareness.</li>
</ul>
</li>
</ul>
</li>
<li>[Santiago] Move Prioritization meeting automation <a href="https://github.com/rust-lang/triagebot/pull/579">#579</a> forward.</li>
<li>Propose a strategy to review all <code>P-high</code> issues</li>
<li>Add command for relabeling issues from Zulip <a href="https://github.com/rust-lang/triagebot/issues/591">#591</a>.</li>
<li>Add <code>I-prioritize</code> to I-unsound issues that are not <code>requires-nightly</code><ul>
<li>More info <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues">https://rust-lang.zulipchat.com/#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/should.20we.20consider.20I-unsound.20issues</a></li>
</ul>
</li>
<li>[pnkfelix] Define if we want to create a <code>has-pr</code> label</li>
</ul>



<a name="199552381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/meeting%202020.06.01/near/199552381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/meeting.202020.2E06.2E01.html#199552381">(Jun 02 2020 at 20:57)</a>:</h4>
<p>I've assigned some of that stuff to myself but there are some with no one assigned, if somebody wants to tackle something from that work it would be great :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>